was protein folding solved